Simultaneous Quanti
نویسندگان
چکیده
We present a sequent calculus which allows the simultaneous elimination of multiple quantiiers. The approach is an improvement over the well-known skolemization in sequent calculus. It allows a lazy handling of instantiations and of the order of certain reductions. Simultaneous quantiier elimination is justiied from a semantical as well as from a proof theoretical point of view.
منابع مشابه
Extending Gg Odel for Expressing Restricted Quantiications and Arrays
The expressiveness of the declarative language G odel can be improved by adding to it bounded quanti cations, i.e., quanti cations over nite domains, and arrays. Many problems can be expressed more concisely using bounded quanti cations than using recursion. Arrays are natural for many applications, e.g., in scienti c computing, and are conveniently used in bounded quanti cations. Treating bou...
متن کاملThe Decidability of Simultaneous Rigid E-Uni cation with One Variable
We show that simultaneous rigid E-uni cation, or SREU for short, is decidable and in fact EXPTIME-complete in the case of one variable. This result implies that the 8 98 fragment of intuitionistic logic with equality is decidable. Together with a previous result regarding the undecidability of the 99-fragment, we obtain a complete classi cation of decidability of the prenex fragment of intuitio...
متن کاملAn Overview of Fuzzy Quanti ers Part Interpretations
Quanti cation is an important topic in fuzzy theory and its applica tions An overview is presented for quanti cation in fuzzy theory After This work has been supported by the International Projects of the Flemish Community Cooperation with P R China No a brief review of quanti ers in rst order logic two approaches of gen eralizing quantifers are given the algebraic method and the substitution m...
متن کاملProviding Better Support for Quanti ed Queries
Relational database systems do not e ectively support complex queries containing quanti ers (quanti ed queries) that are increasingly becoming important in decision support applications. Generalized quanti ers provide an e ective way of expressing such queries naturally. In this paper, we consider the problem of processing quanti ed queries within the generalized quanti er framework. We demonst...
متن کاملAn Overview of Fuzzy Quanti ers Part Reasoning and Applications
In the second part of the overview reasoning with fuzzily de ned quanti ers and applications are presented Possibility based reasoning This work has been supported by the International Projects of the Flemish Community Cooperation with P R China No is summarized in detail The widely used quanti er extension principle and various reasoning schemas derived from it are discussed Some disad vantage...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998